Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
نویسنده
چکیده
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the set of successors of a regular set of configurations can be non-regular, making forward analysis of these models difficult. We refine the model by adding the associativecommutative properties of parallel composition, and we define Presburger weighted tree automata, an extension of weighted automata and tree automata, that accept the set of successors of a regular set of configurations. This allows forward analysis of PDN since these automata have a decidable emptiness problem and are closed under intersection.
منابع مشابه
Considering chain to chain competition in forward and reverse logistics of a dynamic and integrated supply chain network design problem
In this paper, a bi-objective model is presented for dynamic and integrated network design of a new entrant competitive closed-loop supply chain. To consider dynamism and integration in the network design problem, multiple long-term periods are regarded during planning horizon, so that each long-term period includes several short-term periods. Furthermore, a chain to chain competition between t...
متن کاملEffect of the Height Increasing on Steel Buildings Retrofitted by Buckling Restrained Bracing Systems and TTD Damper
The Behavior of conventional braced frames, are not the same in tension and compression. This problem can be improved by prevention of buckling under compressive loads, which is called buckling restrained brace(BRB). In this field TTD metal damper also have much attention due to simplicity in construction and execution. This damper is recommended because of accessing to better performance than ...
متن کاملRobust state estimation in power systems using pre-filtering measurement data
State estimation is the foundation of any control and decision making in power networks. The first requirement for a secure network is a precise and safe state estimator in order to make decisions based on accurate knowledge of the network status. This paper introduces a new estimator which is able to detect bad data with few calculations without need for repetitions and estimation residual cal...
متن کاملComparative Study of Static and Dynamic Artificial Neural Network Models in Forecasting of Tehran Stock Exchange
During the recent decades, neural network models have been focused upon by researchers due to their more real performance and on this basis, different types of these models have been used in forecasting. Now, there is a question that which kind of these models has more explanatory power in forecasting the future processes of the stock. In line with this, the present paper made a comparison betw...
متن کاملThe effect of supply network configuration on occurring chaotic behavior in the retailer’s inventory
ToToday’s market place is increasingly dynamic and volatile. In this area supply network issues recently have attracted a lot of attention from industrial practitioners and academics worldwide. Chaos theory is the study of complex, nonlinear, dynamic systems. For chaotic systems, a tiny change in conditions may result in an enormous change in system output, whereas substantial changes in condit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Found. Comput. Sci.
دوره 22 شماره
صفحات -
تاریخ انتشار 2009